Free Term Algebras1
نویسنده
چکیده
We interoduce a new characterization of algebras of normal forms of term rewriting systems [35] as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compiler algebras requiring some equalities of terms, e.g., associativity of addition.
منابع مشابه
Free Cash Flow, Institutional Ownership and Long-Term Performance
Performance appraisal is a process which help shareholders make informed and optimal investment decisions. In recent decades, a long stream of research has devoted particular attention to the importance and impact of financial decisions on firm performance and firm value. The present study thus is primarily concerned with investigating the association between free cash flow and institutional ow...
متن کاملEffects of long-term frozen storage on the compositions of free amino acids and nucleotide-related compounds of the coconut crab Birgus latro
This study examined the effects of long-term frozen storage (-20 °C for 5 months) of free amino acids (FAAs) and nucleotide-related compounds (NRCs) in muscle and hepatopancreas of the coconut crab Birgus latro. Although long-term frozen storage had little effect on FAA composition in muscle, the amounts of several FAAs increased in the hepatopancreas that may be the result of protein decomposi...
متن کاملSymmetry of Banach Algebras1
* Professor Jacobson, Editor of these Proceedings, in a letter to me dated June 15, 1951, says in part: The referee "noted that the second theorem can be formulated in terms of groups with operators from a principal ideal domain." And he expressed the opinion that a formulation in finite abelian groups may serve the same purpose. Subsequently, the writer has read, perhaps with insufficient unde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013